6

Finitely Decidable Congruence Modular Varieties

Year:
1993
Language:
english
File:
PDF, 2.04 MB
english, 1993
21

On finite-times degenerate Cauchy numbers and polynomials

Year:
2015
Language:
english
File:
PDF, 1.40 MB
english, 2015
36

A decidable variety that is finitely undecidable

Year:
1999
Language:
english
File:
PDF, 1.41 MB
english, 1999
40

Reduction of Hilbert-type proof systems to the if-then-else equational logic

Year:
2004
Language:
english
File:
PDF, 171 KB
english, 2004
48

Finitary decidability implies congruence permutability for congruence modular varieties

Year:
1992
Language:
english
File:
PDF, 417 KB
english, 1992